Validated Numerics for Pedestrians

نویسندگان

  • Warwick Tucker
  • W. Tucker
چکیده

The aim of this paper is to give a very brief introduction to the emerging area of validated numerics. This is a rapidly growing field of research faced with the challenge of interfacing computer science and pure mathematics. Most validated numerics is based on interval analysis, which allows its users to account for both rounding and discretization errors in computer-aided proofs. We will illustrate the strengths of these techniques by converting the well-known bisection method into a efficient, validated root finder.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Validated Numerics Meets Reachability Analysis for CPS Design (NII Shonan Meeting 2015-14)

Cyber-­Physical Systems (CPSs) consist of computers that are coupled tightly to a physical environment through sensors and actuators. Both the hybrid systems and the dynamics research communities have produced formal tools that are very important for rigorous design of CPSs, namely reachability analysis and validated numerics, respectively. Unfortunately, CPS designers encounter some challenges...

متن کامل

Vision-based Pedestrian Detection: will Ants Help?

This work presents the vision-based system for detecting pedestrians in road environments implemented on the ARGO prototype vehicle developed by the University of Parma. The system is aimed at the localization of pedestrians in various poses, positions and clothing, and is not limited to moving people. Initially, attentive vision techniques relying on the search for specific characteristics of ...

متن کامل

Multiscale Modeling of Pedestrian Dynamics: Individuality vs. Collectivity

The dynamics of human crowds are mainly ruled by mutual interactions among pedestrians. The latter develop indeed behavioral strategies based on their perception of the state of the surrounding environment, including especially the presence of neighboring individuals. For instance, when heading for a certain destination pedestrians normally deviate from their preferred paths in order to avoid c...

متن کامل

Rigorous numerics of tubular, conic, star-shaped neighborhoods of slow manifolds for fast-slow systems

We provide a rigorous numerical computation method to validate tubular neighborhoods of normally hyperbolic slow manifolds with the explicit radii for the fast-slow system { x′ = f(x, y, ), y′ = g(x, y, ). Our main focus is the validation of the continuous family of eigenpairs {λi(y; ), ui(y; )}i=1 of fx(h (y), y, ) over the slow manifold S = {x = h (y)} admitting the graph representation. In o...

متن کامل

Relationship between Pedestrians’ Speed, Density and Flow Rate of Crossings through Urban Intersections (Case Study: Rasht Metropolis) (RESEARCH NOTE)

Travels within the city are done in different ways, by vehicle or on foot. Thus, inevitably, a part of the travel is always done on foot. Since intersections as traffic nodes are determinant factor in transportation network capacity, any disruption in them leads to severe reduction in network capacity. Unfortunately, pedestrian behavior has received little attention in Iran. While this is a ver...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2005